Section: New Results
Non commutative number theory
Participant : Jean Paul Cerri.
Pierre Lezowski has studied in [12], Euclidean properties of matrix algebras. He proved that if is a commutative ring and if is an integer , then is right and left Euclidean if and only if is a principal ideal ring. Moreover, under the hypothesis that the stathm takes integer values, he established that if is an integral domain, then is -stage right and left Euclidean if and only if is a Bézout ring. He also proved, under the same hypothesis, that if is a -Hermite ring, then is -stage left and right Euclidean, that if is an elementary divisor ring, then is -stage left and right Euclidean, and that if is a principal ideal ring, then is 2-stage right and left Euclidean. In each case, he obtained an explicit algorithm allowing to compute, among other things, right or left gcd in .
Jean-Paul Cerri and Pierre Lezowski have generalized in [19], Cerri's algorithm (for the computation of the upper part of the norm-Euclidean spectrum of a number field) to totally definite quaternion fields. This allowed them to establish the exact value of the norm-Euclidean minimum of many orders in totally definite quaternion fields over a quadratic number field. Before this work, nobody knew how to compute the exact value of such a minimum when the base number field has degree . They also proved that the Euclidean minimum and the inhomogeneous minimum of orders in such quaternion fields are always equal and that moreover they are rational under the hypothesis that the base number field is not quadratic, which remains the only open case, as for real number fields.
In [13] Lezowski determines which cyclic field of degree are norm-Euclidean for
.